Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
201	MLF Raising ML to the Power of System F Didier Le Botlan, Didier R´emy Add to Reading List Source URL: wwwdgeinew.insa-toulouse.fr Language: English - Date: 2007-02-19 04:13:27 Symbol Mathematics Hindley–Milner Curry–Howard correspondence Type theory Applied mathematics Theoretical computer science
202	State of Tennessee Department of State Add to Reading List Source URL: www.tn.gov Language: English - Date: 2012-06-05 09:58:24 James B. Frazier John I. Cox Tennessee Correspondence Curry–Howard correspondence Southern United States Confederate States of America Mathematics
203	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory
204	EJTP 5, No[removed]–206 Electronic Journal of Theoretical Physics Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2008-03-27 11:12:18 Wave equation Curry–Howard correspondence Hamilton–Jacobi equation Calculus Mathematical analysis Partial differential equations
205	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus
206	Infinite sets that admit fast exhaustive search Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-03-27 09:33:39 Theoretical computer science Models of computation Lambda calculus Symbol Function Curry–Howard correspondence Fast-growing hierarchy Mathematics Mathematical logic Computability theory
207	The Girard-Reynolds Isomorphism (second edition) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-02 12:28:49 Logic Lambda calculus Logic in computer science Dependently typed programming Proof theory Calculus of constructions System F Curry–Howard correspondence First-order logic Mathematical logic Mathematics Type theory
208	Call-by-Value is Dual to Call-by-Name Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:48 Mathematics Deduction Logic in computer science Curry–Howard correspondence Philosophy of computer science Type theory Natural deduction Valuation Lambda calculus Logic Mathematical logic Proof theory
209	Technical Report TR04-004, Department of Computer Science, University of North Carolina at Chapel Hill, February[removed]Linear Least-Squares Optimization for Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2004-02-02 11:41:33 Transformation Curry–Howard correspondence Computer science Symbol Mathematics Matrices Rotation matrix
210	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science

UPDATE